place/transition net

英

美

【计】位置迁移网

This paper builds a formal protocol model of Bi-PIM with extended place/ transition net on the base of detailed mechanism analysis, thus lays a solid foundation for analysis and implementation of the Bi-PIM.
文章在对Bi-PIM协议的机制进行分析的基础上，用扩展的库所/变迁网对其进行形式化的建模，为其具体分析和实现奠定了形式化和自动化的基础。
This paper presents a formal protocol description of COPS with extended place/ transition net on the base of detailed informal analysis, thus lays a foundation for analysis and improvement of the COPS.
在对COPS协议作详细非形式化分析的基础上，用扩展的库所/变迁网对其主要部分进行了形式化的描述，从而为COPS协议的分析与改进奠定了基础。
Motion elements are designed and realized with place/ transition Petri net, and action units are realized with the OOP method.
基于位置／变迁Petri网设计并实现了动素层，基于面向对象的技术设计并实现了动作层，涵盖了绝大多数虚拟人执行维修操作的动作，基本满足了维修仿真的需求。
The relationship between algebra of the algebraic specification and the relation net schemes is discussed. The relationship between the algebra of the algebraic specification and the place/ transition net is discussed too.
讨论了关系网在同态下的性质，以及代数规范说明的代数与关系网模式和位置/变迁网的关系。